Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

ثبت نشده
چکیده

Now, we come to offer you the right catalogues of book to open. model driven development of reliable automotive services second automotive software workshop aswsd is one of the literary work in this world in suitable to be reading material. That's not only this book gives reference, but also it will show you the amazing benefits of reading a book. Developing your countless minds is needed; moreover you are kind of people with great curiosity. So, the book is very appropriate for you.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Sound and Resource-Aware Code from Hybrid System Models

Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the imple...

متن کامل

Processing of Asian dust

Direct observations of the atmospheric processing of Asian mineral dust R. C. Sullivan, S. A. Guazzotti, D. A. Sodeman, and K. A. Prather Department of Chemistry & Biochemistry, University of California, San Diego, La Jolla, CA, 92093-0314, USA Scripps Institution of Oceanography, University of California, San Diego, La Jolla, CA, 92093, USA now at: Desert Research Institute, Reno, NV, USA, 895...

متن کامل

Automotive Software: A Challenge and Opportunity for Model-Based Software Development

Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development processes do not address well the needs of large-scale distributed real-time systems, like the ones automobiles do (or soon will) contain. The paper introduces a vision for the model-based development of embedded software, w...

متن کامل

Title: Automated Test Case Generation for Code Generators Based on Graph-transformation Rules

In automotive software development models are the central artefact within the whole development process (model-based development). The new technology of automatic code generation closes the gap between the software design on the base of a model (executable specification) and its implementation (controller code). This paper shows how to test formally specified code generators and gives guidance ...

متن کامل

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Aut...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره 4922  شماره 

صفحات  -

تاریخ انتشار 2008